`:top

`!SASL`! (`!St Andrews Static Language`!, alternatively `!St Andrews Standard Language`!) is a `F33f`_`[purely functional programming language`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Purely_functional_programming]`_`f developed by `F33f`_`[David Turner`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=David_Turner_(computer_scientist)]`_`f at the `F33f`_`[University of St Andrews`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=University_of_St_Andrews]`_`f in 1972, based on the applicative subset of `F33f`_`[ISWIM`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=ISWIM]`_`f.`:cite-ref-1[`F5bf`_`[1`#cite-note-1]`_`f] In 1976 Turner redesigned and reimplemented it as a non-strict (lazy) language.`:cite-ref-2[`F5bf`_`[2`#cite-note-2]`_`f] In this form it was the foundation of Turner's later languages `F33f`_`[Kent Recursive Calculator`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Kent_Recursive_Calculator]`_`f (KRC) and `F33f`_`[Miranda`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Miranda_(programming_language)]`_`f, but SASL appears to be `F33f`_`[untyped`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Data_type]`_`f whereas Miranda has `F33f`_`[polymorphic types`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Polymorphic_typing]`_`f.

`F33f`_`[Burroughs Corporation`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Burroughs_Corporation]`_`f used SASL to write a compiler and operating system.`:cite-ref-3[`F5bf`_`[3`#cite-note-3]`_`f]

>>Contents

• `F0af`_`[Notes`#notes]`_`f

• `F0af`_`[References`#references]`_`f

• `F0af`_`[External links`#external-links]`_`f

-─

>>Notes

`:cite-note-1`!1.`! `F0af`_`[↑`#cite-ref-1]`_`f Turner, An implementation of SASL

`:cite-note-2`!2.`! `F0af`_`[↑`#cite-ref-2]`_`f Turner, A New Implementation Technique for Applicative Languages, pages 31-49

`:cite-note-3`!3.`! `F0af`_`[↑`#cite-ref-3]`_`f `:citerefturner`aTurner, D. A. "Some History of Functional Programming Languages" (PDF).

>>References

• `:citerefturner`aTurner, D.A. "An Implementation of SASL". `*University of St. Andrews, Department of Computer Science Technical Report`*. TR/75/4.

• `:citerefturner1979`aTurner, D.A. (1979). "A New Implementation Technique for Applicative Languages". `*Software: Practice and Experience`*. `!9`!: 31–49. `F33f`_`[doi`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=Doi_(identifier)]`_`f:10.1002/spe.4380090105. `F33f`_`[S2CID`:/page/wikibook/entry.mu`zim=wikipedia_en_all_nopic_2025-08.zim|entry_path=S2CID_(identifier)]`_`f 40541269.

>>External links

• The SASL Language Manual

`c`F0af`_`[↑ Back to top`#top]`_`f`a